Proof of |z1z2| = |z1||z2|